(menubar_active): Remove menu_command_in_progress.

diff --git a/src/w32term.h b/src/w32term.h
index 9d034f56f5b9c86e405ca4e9c56a4a8902707d2d..cac3e2f8997636616b97c90094532f1c38e822cf 100644 (file)
--- a/src/w32term.h
+++ b/src/w32term.h
@@ -378,9 +378,6 @@ struct w32_output
   /* Nonzero means menubar is currently active.  */
   char menubar_active;
 
-  /* Nonzero means a menu command is being processed.  */
-  char menu_command_in_progress;
-
   /* Nonzero means menubar is about to become active, but should be
      brought up to date first.  */
   volatile char pending_menu_activation;